منابع مشابه
Etude des symétries dans les modèles finis
Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...
متن کاملPropriétés résiduelles dans les groupes supersimples
Dans un article récent [1], Abderezak Ould Houcine montre qu’un groupe superstable résiduellement C pour une pseudo-variété C admet une série normale définissable G = G0⊲G1⊲· · ·⊲Gn telle que Gi/Gi+1 ∈ C pour i < n, et Gn est résoluble ; si G est ω-stable, on peut choisir Gn nilpotent. Nous étendons son résultat aux groupes supersimples, et montrons en même temps qu’on peut toujours prendre Gn ...
متن کاملDes Chaînes Et Des Antichaînes Dans Les Ensembles Ordonnés Finis
résumé – L’un des nombreux domaines dans lesquels Bruno Leclerc a travaillé et publié est celui des ensembles ordonnés. Plus précisément, il s’est fortement intéressé à des propriétés d’ensembles ordonnés relatives à des sous-structures bien particulières, les chaînes et les antichaînes. Beaucoup de problèmes de tri, de recherche et d’ordonnancement que l’on rencontre par exemple en informatiqu...
متن کاملAlgorithmes de calcul de logarithmes discrets dans les corps finis
Computing discrete logarithms is a fundamental task for public key cryptanalysis. Themere existence of a subexponential algorithm for this purpose is not sufficient to definitely ruleon the security level provided by some cryptosystem. Assessing state-of-the-art cryptanalysiscalls for a thorough evaluation process. This dissertation contributes to such an evaluation.In particula...
متن کاملDécomposition arborescente et cohérence locale souple dans les CSP pondérés
Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d’une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratiqu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mémoires de la Société mathématique de France
سال: 1976
ISSN: 0249-633X,2275-3230
DOI: 10.24033/msmf.195